Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties

In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. The specification language for property description is Fluent Linear Time Temporal Logic. Fluents provide an adequate flexibility for capturing properties of workflows. Both the model and the properties are encoded, in an automated way, as Labelled Transition Systems, and the analysis is reduced to model checking.Comment: In Proceedings LAFM 2013, arXiv:1401.056

Goal-Conflict Detection Based on Temporal Satisfiability Checking

In this oral communication, we present a novel approach to automatically compute boundary conditions for conflicting goals expressed in LTL, using a satisfiability procedure based on tableaux.Sociedad Argentina de Informática e Investigación Operativ

Goal-Conflict Detection Based on Temporal Satisfiability Checking

In this oral communication, we present a novel approach to automatically compute boundary conditions for conflicting goals expressed in LTL, using a satisfiability procedure based on tableaux.Sociedad Argentina de Informática e Investigación Operativ

Chantal Mouffe y el proyecto de la modernidad: pensar con y contra Carl Schmitt

El presente artículo restituye la obra de Chantal Mouffe dando cuenta del estrecho lazo que la vincula al paradigma moderno. La democracia agonal, propugnada por la pensadora belga, se comprende cabalmente sólo en el marco de esta perspectiva, como una crítica a los supuestos epistemológicos que están a la base de la reflexión política liberal y, a la vez, una rehabilitación de sus ideales de libertad e igualdad. Este doble movimiento es realizado a través de la recuperación de Carl Schmitt, quien funciona como insumo crítico y como horizonte a superar, en virtud de sus derivas antidemocráticas. El artículo da cuenta de este diálogo, a través de la restitución de la obra del jurista alemán, en vistas a ganar claridad conceptual a propósito de los límites y las posibilidades de la agonística.

Depression, death and negativity: some reflections from Baruch Spinoza and Byung-Chul Han

El trabajo se estructurará en tres tiempos, a la par de que cada tema será estudiado desdobladamente según Spinoza y Han. De esta manera, procederemos a analizar, primeramente, el tópico de la depresión en el holandés y el surcoreano, para luego, en un segundo tiempo, pesquisar el concepto de la muerte en estos dos autores y, finalmente, bosquejar en los mismos dos filósofos la productividad política que la negatividad podría comportar.The work will be structured in three stages, at the same time that each topic will be studied unfolded according to Spinoza and Han. In this way, we will proceed to analyze, firstly, the topic –anachronistic–of depression in Dutch and Korean, and later, in a second stage, to investigate the concept of death in these two authors and, finally, to sketch in the same two philosophers the political productivity that negativity could entail

Goal-Conflict Detection Based on Temporal Satisfiability Checking

In this oral communication, we present a novel approach to automatically compute boundary conditions for conflicting goals expressed in LTL, using a satisfiability procedure based on tableaux.Sociedad Argentina de Informática e Investigación Operativ

Especificación y verificación de propiedades sobre workflows con lógica de fluentes

En el presente trabajo proponemos el uso de una l ógica temporal conocida, fluent linear temporal logic (FLTL), para expresar formalmente propiedades sobre flujos de trabajo (work ows). Creemos que esta l ógica es adecuada para dicha tarea, ya que el uso de fluentes nos permite caracterizar de manera flexible estados abtractos para represetación de actividades y restricciones sobre work ows. Con el n de utilizar herramientas autom áticas para el an álisis de estas propiedades, nos focalizamos en una caracterizacióon de workflows como sistemas de transici ón de estados etiquetados, que modela las tareas de un modo conveniente y aprovecha las f órmulas de FLTL. M as a un, auto- matizamos la codi ficaci ón y empleamos model checking, utilizando LTSA (Labeled Transition System Analyzer), para garantizar que un work ow satisface una propiedad dada, o en caso contrario, generar una ejecuci ón que exhiba la violaci ón de la misma.Eje: Workshop Ingeniería de software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

Virulencia de Colletotrichum gloeosporioides causante de la enfermedad de la antracnosis en frutilla en Tucumán, Argentina

Una cepa fúngica que mostró un comportamiento fitopatológico fue aislada de hojas y frutos de frutilla que presentaban síntomas de la enfermedad antracnosis en la provincia de Tucumán (Noroeste de Argentina), y fue caracterizada como cepa L9 de Colletotrichum gloeosporioides. Los experimentos de desafío llevados a cabo con diferentes cultivares de frutilla frente a la cepa aislada revelaron respuestas fitopatológicas diferentes. Mientras que el cultivar ‘Pájaro’ accesión Mendoza, ‘Milsei’, ‘Selva’ y Seascape’ desencadenaron una respuesta compatible con la cepa L9, la respuesta fue incompatible en los cultivares ‘Pájaro’ (accesión Cafayate) y ‘Gaviota’.A fungal strain with phytopathological behaviour was isolated from strawberry leaves and fruits with symptoms of anthracnose disease in Tucumán province (north-west Argentina), and it was identified as strain L9 of Colletotrichum gloeosporioides. Inoculation experiments on different strawberry cultivars using the isolated strain revealed dissimilar phytopathological responses. Whereas the cultivars ‘Pájaro’ (accession Mendoza), ‘Milsei’, ‘Selva’ and ‘Seascape’ triggered a typical response compatible with strain L9, the cv. ‘Pájaro’ (accession Cafayate) and ‘Gaviota’ showed a typically incompatible response.Fil: Salazar, Sergio Miguel. Instituto Nacional de Tecnología Agropecuaria; Argentina. Universidad Nacional de Tucumán. Facultad de Agronomía y Zootecnia; ArgentinaFil: Moschen, Sebastián Nicolás. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán; ArgentinaFil: Mónaco, María Elvira. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Instituto Superior de Investigaciones Biológicas. Universidad Nacional de Tucumán. Instituto Superior de Investigaciones Biológicas; ArgentinaFil: Castagnaro, Atilio Pedro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Instituto Superior de Investigaciones Biológicas. Universidad Nacional de Tucumán. Instituto Superior de Investigaciones Biológicas; ArgentinaFil: Diaz Ricci, Juan Carlos. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Instituto Superior de Investigaciones Biológicas. Universidad Nacional de Tucumán. Instituto Superior de Investigaciones Biológicas; Argentin

The Disk Substructures at High Angular Resolution Project (DSHARP). IV. Characterizing Substructures and Interactions in Disks around Multiple Star Systems

To characterize the substructures induced in protoplanetary disks by the interaction between stars in multiple systems, we study the 1.25 mm continuum and the 12CO(J = 2–1) spectral line emission of the triple systems HT Lup and AS 205, at scales of ≈5 au, as part of the Disk Substructures at High Angular Resolution Project (DSHARP). In the continuum emission, we find two symmetric spiral arms in the disk around AS 205 N, with a pitch angle of 14°, while the southern component AS 205 S, itself a spectroscopic binary, is surrounded by a compact inner disk and a bright ring at a radius of 34 au. The 12CO line exhibits clear signatures of tidal interactions, with spiral arms, extended arc-like emission, and high velocity gas, possible evidence of a recent close encounter between the disks in the AS 205 system, as these features are predicted by hydrodynamic simulations of flyby encounters. In the HT Lup system, we detect continuum emission from all three components. The primary disk, HT Lup A, also shows a two-armed symmetric spiral structure with a pitch angle of 4°, while HT Lup B and C, located at 25 and 434 au in projected separation from HT Lup A, are barely resolved with ~5 and ~10 au in diameter, respectively. The gas kinematics for the closest pair indicates a different sense of rotation for each disk, which could be explained by either a counter rotation of the two disks in different, close to parallel, planes, or by a projection effect of these disks with a close to 90° misalignment between them

The Disk Substructures at High Angular Resolution Project (DSHARP). VI. Dust Trapping in Thin-ringed Protoplanetary Disks

A large fraction of the protoplanetary disks observed with ALMA display multiple well-defined and nearly perfectly circular rings in the continuum, in many cases with substantial peak-to-valley contrast. The DSHARP campaign shows that several of these rings are very narrow in radial extent. In this Letter we test the hypothesis that these dust rings are caused by dust trapping in radial pressure bumps, and if confirmed, put constraints on the physics of the dust trapping mechanism. We model this process analytically in 1D, assuming axisymmetry. By comparing this model to the data, we find that all rings are consistent with dust trapping. Based on a plausible model of the dust temperature we find that several rings are narrower than the pressure scale height, providing strong evidence for dust trapping. The rings have peak absorption optical depth in the range between 0.2 and 0.5. The dust masses stored in each of these rings is of the order of tens of Earth masses, though much ambiguity remains due to the uncertainty of the dust opacities. The dust rings are dense enough to potentially trigger the streaming instability, but our analysis cannot give proof of this mechanism actually operating. Our results show, however, that the combination of very low and very large grains can be excluded by the data for all the rings studied in this Letter